Specification of realizable service conversations using collaboration diagrams
نویسندگان
چکیده
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملPolicy Specification Using Sequence Diagrams
With the ever increasing importance of computer networks such as the Internet, and the today almost ubiquitous online services, the needs for the management of these networks and services, as well as the management of the associated security, risk and trust are growing correspondingly. Policy based management of information systems has the last decade emerged as an adaptive and flexible approac...
متن کاملSpecification and Management of Policies in Service Oriented Business Collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for developing adaptive business collaborations while adhering to the requirements imposed by the business environment. In this paper we introduce the Business Collaboration Design Framework which uses a blend of design perspectives, facets and aspects to provide designers with the means to develop and d...
متن کاملAn event view specification approach for Supporting Service process collaboration
Designing and implementing an interoperable and flexible service process collaboration strategy is one of key issues for business to business integrations. To better support service process collaboration, an event view model is proposed, which is composed of a set of event types and their dependency relationships. It provides a general and flexible way to define a public view of a service proce...
متن کاملA Specification Approach to Compose Mobile Web Services Using Service Chart Diagrams
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from the wired world. For instance, new communication means need to be deployed, new user-friendly services need to be offered, and new types of specification techniques need to be provided. One of these techniques consists...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Service Oriented Computing and Applications
سال: 2008
ISSN: 1863-2386,1863-2394
DOI: 10.1007/s11761-008-0022-7